$\forall$$b$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$$\rightarrow\mathbb{B}$). ($\exists$$n$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$. $f$($n$)) $\Rightarrow$ \{mu($f$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$ \& $f$(mu($f$)) \& ($\forall$$i$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$. $i$$<$mu($f$) $\Rightarrow$ $\neg$$f$($i$))\}